A multilevel transaction problem for multilevel secure database systems and its solution for the replicated architecture
نویسندگان
چکیده
A user of a database management system has an intuitive idea of a transaction as a sequence of database commands that he or she submits. The user expects this sequence of commands to be executed in the order of submission, without interference from other database commands submitted by other users. Techniques for doing this while concurrently supporting multiple database users are well known for conventional (i.e., not multilevel) database systems [2]. Transaction management theory for conventional database systems is not only mature, but useful in practice. The corresponding theory for multilevel secure database systems is still developing but some progress has been made [3,5,6,7,8,9,10].
منابع مشابه
A Practical Transaction Model and Untrusted Transaction Manager for a Multilevel-Secure Database System
A new transaction model for multilevel-secure databases which use the replicated architecture is presented. A basic concurrency control algorithm and two variations are given based on this transaction model. We also present new correctness criteria for multilevel-secure databases which use the replicated architecture. Based on this criteria, we prove that our algorithms are correct. Keyword Cod...
متن کاملTransaction Processing Using an Untrusted Scheduler in a Multilevel Database with Replicated Architecture
Replicated architecture has been proposed as a way to obtain acceptable performance in a multilevel secure database system. This architecture contains a separate database for each security level such that each contains replicated data from lower security classes. The consistency of the values of replicated data items must be maintained without unnecessarily interfering with concurrency of datab...
متن کاملMultilevel Secure Transaction Processing: Status and Prospects
Since 1990, transaction processing in multilevel secure database management systems (DBMSs) has been receiving a great deal of attention from the database research community. Transaction processing in these systems requires modiication of conventional scheduling algorithms and commit protocols. These modiications are necessary because preserving the usual transaction properties when transaction...
متن کاملVerified Order-Based Transaction Scheduling Scheme for Multilevel Secure Database Management Systems
While the secure transaction schedulers in multilevel secure database systems synchronize transactions cleared at different security levels, they must consider the problem of covert channel. Through the covert channel, malicious users leak secret information in a way of intentional interference among the transactions that they invoked. Much work had been done for closing the covert channel. Alt...
متن کاملA single-level scheduler for the replicated architecture for multilevel-secure databases
replicated architecture for multilevel secure database systems provides security by replicating data into separate untrusted single-level database systems. To be successful, a system using the replicated architecture must have a concurrency and replica control algorithm that does not introduce any covert channels. Jajodia and Kogan have developed one such algorithm that uses update projections ...
متن کامل